1

The logic of integration

Year:
2009
Language:
english
File:
PDF, 343 KB
english, 2009
7

Some results on Kripke models over an arbitrary fixed frame

Year:
2003
Language:
english
File:
PDF, 109 KB
english, 2003
8

Quantified universes and ultraproducts

Year:
2012
Language:
english
File:
PDF, 177 KB
english, 2012
9

Omitting Types in an Intermediate Logic

Year:
2011
Language:
english
File:
PDF, 179 KB
english, 2011
21

On translations of complete first order theories

Year:
2003
Language:
english
File:
PDF, 134 KB
english, 2003
22

A Łoś type theorem for linear metric formulas

Year:
2010
Language:
english
File:
PDF, 223 KB
english, 2010
23

Random variables and integral logic

Year:
2011
Language:
english
File:
PDF, 148 KB
english, 2011
30

An arithmetical view to first-order logic

Year:
2010
Language:
english
File:
PDF, 630 KB
english, 2010
44

Preservation theorems in linear continuous logic

Year:
2014
Language:
english
File:
PDF, 180 KB
english, 2014
49

Linear model theory for Lipschitz structures

Year:
2014
Language:
english
File:
PDF, 341 KB
english, 2014